Section: Dissemination

Teaching - Supervision - Juries

• Master : Benedikt Bollig, Non-sequential Theory of Distributed Systems, 36, M2, MPRI, ENS Cachan, France.

• Defended theses:

  • PhD ([3])by Salim Perchy , 'Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes', École Polytechnique, defended October 4, supervised by Stefan Haar and Franck Valencia (COMETE team).

  • PhD by Simon Theissing [4], 'Supervision for Multimodal Tranport Systems', ENS Cachan, defended December 5, supervised by Stefan Haar.

• PhD in progress:

  • Tymofii PROKOPENKO, Ecole Polytechnique since Oct 1, 'Privacy', jointly supervised by Catuscia Palamidessi (COMETE team) and Serge Haddad;

  • Engel Lefaucheux, ENS Paris-Saclay since 2015, 'controlling information in probabilistic systems', jointly supervised by Nathalie Bertrand (SUMO team) and Serge Haddad

  • Yann Duplouy, ENS Paris-Saclay since 2015,'application of formal methods to the development of embedded systems for autonomous vehicles', supervised by Béatrice Bérard and Serge Haddad. Marie Fortin (ENS Paris-Saclay since Oct 1); 'Tree-automata techniques for the analysis of distributed systems', co-supervised by Benedikt Bollig and Paul Gastin.

  • Hugues Mandon (ENS Paris-Saclay since Oct 1, Digicosme Grant), Computational Models and Algorithms for the Prediction of Cell Reprogramming Strategies; supervised by Stefan Haar, co-supervision by Loic Paulevé (LRI).

  • Robert Najvirt (TU Wien, Austrian FWF SIC project), realistic delay models with applications in high-speed and low-power circuits, co-supervised by Matthias Függer and Andreas Steininger.

  • Martin Perner (TU Wien, Austrian FWF SIC project), clock generation on-chip and formalisms suitable to prove correct VLSI circuits, co-supervised by Matthias Függer and Ulrich Schmid.

  • Juergen Maier (TU Wien, Austrian FWF SIC project), on realistic delay models with applications in high-speed and low-power circuits, with focus on noise and high-order models, co-supervised by Matthias Függer and with Ulrich Schmid.

• Benedikt bollig was

  • reviewer and jury member of the PhD thesis Logics on Data Words: Expressivity, Satisfiability, Model Checking by Ahmet Kara (Supervisor: Thomas Schwentick), Universität Dortmund, Germany, 2016, and

  • Reviewer of the PhD thesis Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic by Thomas Weidner (Supervisor: Manfred Droste), Universität Leipzig, Germany, 2016

• Thomas Chatain was a member of the jury for the PhD defense of María Martos-Salgado, Universidad Complutense de Madrid, in January 2016.

• In addition to the juries of the two supervised students, Stefan Haar was the president of the jury for the PhD of Hassan Ibrahim, on 'SAT-based Diagnosability and Predictability Analysis in Centralized and Distributed Discrete Event Systems' at Université Paris-Sud on December 16.

• Serge Haddad was

  • a member of the juries for the PhD of Amira Methni on 'Méthodes de vérification de logiciel système critique", on July 7, 2016, at CNAM,

  • the president of the PhD jury for Hadrien Bride on "Verifying Modal Specifications of Workflow Nets" on October 24, 2016, at Université de Franche-Comté, and

  • a member of the HdR jury for Yann Thierry-Mieg, "From Symbolic Verification To Domain Specific Languages", on December 7, 2016, at Université Paris 6.